Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
241	ii LCLint User’s Guide Abstract Types 90 ii LCLint User’s Guide Conte Add to Reading List Source URL: www.splint.org Language: English - Date: 2001-12-31 15:18:27 C++ C programming language Data types Pointer Type system Reference C Immutable object ATS Software engineering Computer programming Computing
242	Compile-Time Debugging of C Programs Working on Trees Jacob Elgaard, Anders Møller, and Michael I. Schwartzbach BRICS, University of Aarhus {elgaard,amoeller,mis}@brics.dk Abstract. We exhibit a technique for automatica Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-02-17 06:24:39 Data types C programming language C++ Primitive types Procedural programming languages First-order logic Struct Pointer Hoare logic Software engineering Computing Computer programming
243	Reunião de Usuários do Observatório Gemini  Gemini Transition Plan Add to Reading List Source URL: www.lna.br Language: English - Date: 2012-06-05 13:11:26 Operations research Queue Gemini Quality assurance Astronomer Business Probability and statistics Statistics Abstract data types Gemini Observatory
244	Introduction The design and structure of a program is more clearly understood in terms of abstract data types, such as queues and stacks. A parameterized type, or template, is a linguistic mechanism for implementing an a Add to Reading List Source URL: www.zhmicro.com Language: English - Date: 2015-01-01 22:55:03 C++ Generic programming Method Subroutines Template Function overloading ALGOL 68 Type signature C++11 Software engineering Computing Computer programming
245	ROBUST PROGRAMMING ECS 153 — WINTER 2003 Robust Programming Matt Bishop1 Add to Reading List Source URL: nob.cs.ucdavis.edu Language: English - Date: 2013-03-12 20:42:03 Software engineering Queue Pointer Circular buffer Stack FIFO Linked list Sequence container Data type Abstract data types Computing Computer programming
246	Retroactive Data Structures (extended abstract) Erik D. Demaine John Iacono Add to Reading List Source URL: www.aladdin.cs.cmu.edu Language: English - Date: 2005-07-03 22:51:50 Software engineering Abstract data types Data types Persistent data structure Dynamization Priority queue Binary search tree Bin Linked list Computing Data management Data structures
247	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
248	The VLDB Journal DOI[removed]s00778[removed]REGULAR PAPER UpStream: storage-centric load management for streaming Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-04-19 11:15:18 Programming paradigms Query languages Extensible Storage Engine Stream processing SQL Scheduling Double-ended queue Load Real-time database Computing Abstract data types Software engineering
249	Profile-directed speculative optimization of reconfigurable floating point data paths Ashley W Brown1 , Paul H J Kelly1 , Wayne Luk1 Imperial College London Abstract. This paper presents a methodology for generating flo Add to Reading List Source URL: www.ashleybrown.co.uk Language: English - Date: 2010-09-16 08:00:18 Computing Numbers Binary arithmetic Primitive types IEEE standards Floating point Double-precision floating-point format Single-precision floating-point format IEEE 754-2008 Computer arithmetic Data types Computer architecture
250	Speculative Reduction of Floating Point Datapaths Ashley W Brown, Paul H J Kelly, Wayne Luk Imperial College London Abstract. This paper presents a methodology for generating floatingpoint arithmetic hardware designs wh Add to Reading List Source URL: www.ashleybrown.co.uk Language: English - Date: 2010-09-16 08:00:05 Computing Numbers Binary arithmetic Primitive types Floating point NaN Single-precision floating-point format Extended precision Double-precision floating-point format Computer arithmetic Data types Computer architecture

UPDATE